<?php

/*
 * To change this license header, choose License Headers in Project Properties.
 * To change this template file, choose Tools | Templates
 * and open the template in the editor.
 */

/**
 * 获取毫秒级时间戳
 * @return int
 */
function get_microtime(): int {
    return microtime(true) * 1000;
}
